COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.at "%" ⊂next nm←0"	"n"."⊃
C00005 ENDMK
C⊗;
.at "%" ⊂next n;m←0;"	"n"."⊃
.count n
.at "$"⊂next m;"		"n"."m"."⊃
.count m
NOTES FOR PAPER ON THE REPRESENTATION PROBLEM


% title: problems of representation of information in intelligent systems

% The object of the paper is to identify the problems that have
to be solved in order to decide how to represent information in
intelligent systems.

% More propaganda on epistemology and heuristics.

% Typology of problems.

$ Static problems.

$ One actor quasi-static problems

$ Parallel actions.

$ Physical problems where all information used is about the
world vs. intellectual problems where some of the information
manipulated is about information.

$ Problems that involve the purposes of others.

$ Problems where the complete state of affairs is known vs. those in which
incomplete information is essentially involved

% Frames and subframes

% Correspondence between models and the world.

% Generalizations of the situation formalism.

% value(e,p) formalism for discussing knowledge and belief

$ axioms of knowledge and belief.

$ the sense of an expression as an equivalence class

% the qualification problem

$ the minimal model approach

$ the "normally" approach

% Knowledge sets

$ How do you know you don't know?

$ Relations to metamathematics

$ Hill climbing in the space of states of mind